Input Products for Weighted Extended Top-Down Tree Transducers

A weighted tree transformation is a function : T T ! A where T and T are the sets of trees over the ranked alphabets and , respectively, and A is the domain of a semiring. The input and output product of with tree series ' : T ! A and : T ! A are the weighted tree transformations ' / and . , respectively, which are de ned by (' / )(t; u) = '(t) (t; u) and ( . )(t; u) = (t; u) (u) for every t 2 T and u 2 T . In this contribution, input and output products of weighted tree transformations computed by weighted extended top-down tree transducers (wxtt) with recognizable tree series are considered. The classical approach is presented and used to solve the simple cases. It is shown that input products can be computed in three successively more di cult scenarios: nondeleting wxtt, wxtt over idempotent semirings, and weighted top-down tree transducers over rings.